$\forall$$T$:Type, ${\it as}$:$T$ List, $x$:$T$. 0$<\parallel$${\it as}$$\parallel$ $\Rightarrow$ ($x$ $\in$ tl(${\it as}$)) $\Rightarrow$ ($x$ $\in$ ${\it as}$)